1.68/1.84	unsat
