190.12/193.87	unsat
