5.09/7.04	unsat
