4.88/7.04	unsat
