190.51/193.01	unsat
