21.84/22.06	unsat
