4.07/5.04	unsat
