5.68/7.06	unsat
