300.17/302.48	unsat
