102.83/105.38	unsat
