102.60/105.04	unsat
