300.25/302.50	unsat
