17.95/21.06	unsat
