1.68/3.40	unsat
