195.67/197.09	unsat
