307.17/309.89	unsat
