24.74/29.06	unsat
