1.58/1.94	unsat
