194.24/195.13	unsat
