102.41/105.55	unsat
