191.78/192.27	unsat
