105.16/105.48	unsat
