17.25/18.06	unsat
