105.28/105.49	unsat
