307.20/309.92	unsat
