105.48/109.47	unsat
