4.66/6.04	unsat
