17.47/20.06	unsat
