21.85/24.06	unsat
