189.32/192.70	unsat
