17.47/21.06	unsat
