195.70/197.92	unsat
