19.95/22.06	unsat
