105.25/105.44	unsat
