5.18/7.04	unsat
