5.49/7.04	unsat
