195.47/195.70	unsat
