3.48/5.04	unsat
