186.88/192.13	unsat
