0.87/1.04	unsat
