298.74/302.10	unsat
