2.46/5.04	unsat
