4.78/7.06	unsat
