108.57/110.71	unsat
