105.12/106.68	unsat
