1.94/1.97	unsat
