4.67/5.04	unsat
