307.60/310.02	unsat
