190.93/193.67	unsat
