103.25/105.16	unsat
