190.97/193.98	unsat
