105.61/108.49	unsat
