194.84/195.35	unsat
