1.68/3.54	unsat
