190.96/192.10	unsat
