303.96/307.83	unsat
