4.66/5.04	unsat
