294.66/302.20	unsat
