17.02/17.06	unsat
