194.80/197.84	unsat
