1.68/3.18	unsat
