105.21/105.44	unsat
