190.07/194.79	unsat
