4.28/7.04	unsat
