192.06/197.84	unsat
