10.82/11.98	unsat
