102.94/105.40	unsat
