20.93/23.06	unsat
