188.27/192.92	unsat
