190.50/193.12	unsat
