194.16/197.24	unsat
